nLab Yuan Feng

• Institute page

• Research group page

Selected writings

Introducing the QPMC quantum protocol model checker:

• Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang, QPMC: A Model Checker for Quantum Programs and Protocols, in Formal Methods. FM 2015, Lecture Notes in Computer Science 9109, Springer (2015) [doi:10.1007/978-3-319-19249-9_17]

On software verification in quantum computing, hence with/of quantum programming languages:

• Mingsheng Ying, Yuan Feng, Model Checking Quantum Systems — A Survey [arXiv:1807.09466]

• Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying, Model Checking Applied to Quantum Physics [arXiv:1902.03218]

• Mingsheng Ying, Yuan Feng, Model Checking Quantum Systems – Principles and Algorithms, Cambridge University Press (2021) [ISBN:9781108484305]

On quantum software verification with the Coq proof assistant:

• Wenjun Shi, Qinxiang Cao, Yuxin Deng, Hanru Jiang, Yuan Feng, Symbolic Reasoning about Quantum Circuits in Coq, Journal of Computer Science and Technology (JCST), 36 6 (2021) 1291-1306 $[$arXiv:2005.11023, doi:10.1007/s11390-021-1637-9$]$

category: people